Optimal. Leaf size=226 \[ -\frac {2 e^2 \left (d^2-e^2 x^2\right ) \left (24 a e^4+28 b d^2 e^2+35 c d^4\right )}{105 d^8 x \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (d^2-e^2 x^2\right ) \left (24 a e^4+28 b d^2 e^2+35 c d^4\right )}{105 d^6 x^3 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (d^2-e^2 x^2\right ) \left (6 a e^2+7 b d^2\right )}{35 d^4 x^5 \sqrt {d-e x} \sqrt {d+e x}}-\frac {a \left (d^2-e^2 x^2\right )}{7 d^2 x^7 \sqrt {d-e x} \sqrt {d+e x}} \]
________________________________________________________________________________________
Rubi [A] time = 0.18, antiderivative size = 226, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {520, 1265, 453, 271, 264} \begin {gather*} -\frac {2 e^2 \left (d^2-e^2 x^2\right ) \left (24 a e^4+28 b d^2 e^2+35 c d^4\right )}{105 d^8 x \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (d^2-e^2 x^2\right ) \left (24 a e^4+28 b d^2 e^2+35 c d^4\right )}{105 d^6 x^3 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (d^2-e^2 x^2\right ) \left (6 a e^2+7 b d^2\right )}{35 d^4 x^5 \sqrt {d-e x} \sqrt {d+e x}}-\frac {a \left (d^2-e^2 x^2\right )}{7 d^2 x^7 \sqrt {d-e x} \sqrt {d+e x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 264
Rule 271
Rule 453
Rule 520
Rule 1265
Rubi steps
\begin {align*} \int \frac {a+b x^2+c x^4}{x^8 \sqrt {d-e x} \sqrt {d+e x}} \, dx &=\frac {\sqrt {d^2-e^2 x^2} \int \frac {a+b x^2+c x^4}{x^8 \sqrt {d^2-e^2 x^2}} \, dx}{\sqrt {d-e x} \sqrt {d+e x}}\\ &=-\frac {a \left (d^2-e^2 x^2\right )}{7 d^2 x^7 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\sqrt {d^2-e^2 x^2} \int \frac {-7 b d^2-6 a e^2-7 c d^2 x^2}{x^6 \sqrt {d^2-e^2 x^2}} \, dx}{7 d^2 \sqrt {d-e x} \sqrt {d+e x}}\\ &=-\frac {a \left (d^2-e^2 x^2\right )}{7 d^2 x^7 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (7 b d^2+6 a e^2\right ) \left (d^2-e^2 x^2\right )}{35 d^4 x^5 \sqrt {d-e x} \sqrt {d+e x}}+\frac {\left (\left (35 c d^4-4 e^2 \left (-7 b d^2-6 a e^2\right )\right ) \sqrt {d^2-e^2 x^2}\right ) \int \frac {1}{x^4 \sqrt {d^2-e^2 x^2}} \, dx}{35 d^4 \sqrt {d-e x} \sqrt {d+e x}}\\ &=-\frac {a \left (d^2-e^2 x^2\right )}{7 d^2 x^7 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (7 b d^2+6 a e^2\right ) \left (d^2-e^2 x^2\right )}{35 d^4 x^5 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (35 c d^4+28 b d^2 e^2+24 a e^4\right ) \left (d^2-e^2 x^2\right )}{105 d^6 x^3 \sqrt {d-e x} \sqrt {d+e x}}+\frac {\left (2 e^2 \left (35 c d^4-4 e^2 \left (-7 b d^2-6 a e^2\right )\right ) \sqrt {d^2-e^2 x^2}\right ) \int \frac {1}{x^2 \sqrt {d^2-e^2 x^2}} \, dx}{105 d^6 \sqrt {d-e x} \sqrt {d+e x}}\\ &=-\frac {a \left (d^2-e^2 x^2\right )}{7 d^2 x^7 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (7 b d^2+6 a e^2\right ) \left (d^2-e^2 x^2\right )}{35 d^4 x^5 \sqrt {d-e x} \sqrt {d+e x}}-\frac {\left (35 c d^4+28 b d^2 e^2+24 a e^4\right ) \left (d^2-e^2 x^2\right )}{105 d^6 x^3 \sqrt {d-e x} \sqrt {d+e x}}-\frac {2 e^2 \left (35 c d^4+28 b d^2 e^2+24 a e^4\right ) \left (d^2-e^2 x^2\right )}{105 d^8 x \sqrt {d-e x} \sqrt {d+e x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.14, size = 124, normalized size = 0.55 \begin {gather*} -\frac {\sqrt {d-e x} \sqrt {d+e x} \left (3 a \left (5 d^6+6 d^4 e^2 x^2+8 d^2 e^4 x^4+16 e^6 x^6\right )+7 b \left (3 d^6 x^2+4 d^4 e^2 x^4+8 d^2 e^4 x^6\right )+35 c d^4 x^4 \left (d^2+2 e^2 x^2\right )\right )}{105 d^8 x^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [B] time = 0.22, size = 477, normalized size = 2.11 \begin {gather*} -\frac {2 \sqrt {d+e x} \left (\frac {105 a e^7 (d+e x)^6}{(d-e x)^6}-\frac {210 a e^7 (d+e x)^5}{(d-e x)^5}+\frac {903 a e^7 (d+e x)^4}{(d-e x)^4}-\frac {636 a e^7 (d+e x)^3}{(d-e x)^3}+\frac {903 a e^7 (d+e x)^2}{(d-e x)^2}-\frac {210 a e^7 (d+e x)}{d-e x}+105 a e^7+\frac {105 b d^2 e^5 (d+e x)^6}{(d-e x)^6}-\frac {350 b d^2 e^5 (d+e x)^5}{(d-e x)^5}+\frac {791 b d^2 e^5 (d+e x)^4}{(d-e x)^4}-\frac {1092 b d^2 e^5 (d+e x)^3}{(d-e x)^3}+\frac {791 b d^2 e^5 (d+e x)^2}{(d-e x)^2}-\frac {350 b d^2 e^5 (d+e x)}{d-e x}+105 b d^2 e^5+\frac {105 c d^4 e^3 (d+e x)^6}{(d-e x)^6}-\frac {490 c d^4 e^3 (d+e x)^5}{(d-e x)^5}+\frac {1015 c d^4 e^3 (d+e x)^4}{(d-e x)^4}-\frac {1260 c d^4 e^3 (d+e x)^3}{(d-e x)^3}+\frac {1015 c d^4 e^3 (d+e x)^2}{(d-e x)^2}-\frac {490 c d^4 e^3 (d+e x)}{d-e x}+105 c d^4 e^3\right )}{105 d^8 \sqrt {d-e x} \left (\frac {d+e x}{d-e x}-1\right )^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.52, size = 110, normalized size = 0.49 \begin {gather*} -\frac {{\left (15 \, a d^{6} + 2 \, {\left (35 \, c d^{4} e^{2} + 28 \, b d^{2} e^{4} + 24 \, a e^{6}\right )} x^{6} + {\left (35 \, c d^{6} + 28 \, b d^{4} e^{2} + 24 \, a d^{2} e^{4}\right )} x^{4} + 3 \, {\left (7 \, b d^{6} + 6 \, a d^{4} e^{2}\right )} x^{2}\right )} \sqrt {e x + d} \sqrt {-e x + d}}{105 \, d^{8} x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 4.73, size = 1517, normalized size = 6.71
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 118, normalized size = 0.52 \begin {gather*} -\frac {\sqrt {e x +d}\, \sqrt {-e x +d}\, \left (48 a \,e^{6} x^{6}+56 b \,d^{2} e^{4} x^{6}+70 c \,d^{4} e^{2} x^{6}+24 a \,d^{2} e^{4} x^{4}+28 b \,d^{4} e^{2} x^{4}+35 c \,d^{6} x^{4}+18 a \,d^{4} e^{2} x^{2}+21 b \,d^{6} x^{2}+15 a \,d^{6}\right )}{105 d^{8} x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.01, size = 226, normalized size = 1.00 \begin {gather*} -\frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} c e^{2}}{3 \, d^{4} x} - \frac {8 \, \sqrt {-e^{2} x^{2} + d^{2}} b e^{4}}{15 \, d^{6} x} - \frac {16 \, \sqrt {-e^{2} x^{2} + d^{2}} a e^{6}}{35 \, d^{8} x} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} c}{3 \, d^{2} x^{3}} - \frac {4 \, \sqrt {-e^{2} x^{2} + d^{2}} b e^{2}}{15 \, d^{4} x^{3}} - \frac {8 \, \sqrt {-e^{2} x^{2} + d^{2}} a e^{4}}{35 \, d^{6} x^{3}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} b}{5 \, d^{2} x^{5}} - \frac {6 \, \sqrt {-e^{2} x^{2} + d^{2}} a e^{2}}{35 \, d^{4} x^{5}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} a}{7 \, d^{2} x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.82, size = 218, normalized size = 0.96 \begin {gather*} -\frac {\sqrt {d-e\,x}\,\left (\frac {a}{7\,d}+\frac {x^2\,\left (21\,b\,d^7+18\,a\,d^5\,e^2\right )}{105\,d^8}+\frac {x^4\,\left (35\,c\,d^7+28\,b\,d^5\,e^2+24\,a\,d^3\,e^4\right )}{105\,d^8}+\frac {x^7\,\left (70\,c\,d^4\,e^3+56\,b\,d^2\,e^5+48\,a\,e^7\right )}{105\,d^8}+\frac {x^3\,\left (21\,b\,d^6\,e+18\,a\,d^4\,e^3\right )}{105\,d^8}+\frac {x^5\,\left (35\,c\,d^6\,e+28\,b\,d^4\,e^3+24\,a\,d^2\,e^5\right )}{105\,d^8}+\frac {x^6\,\left (70\,c\,d^5\,e^2+56\,b\,d^3\,e^4+48\,a\,d\,e^6\right )}{105\,d^8}+\frac {a\,e\,x}{7\,d^2}\right )}{x^7\,\sqrt {d+e\,x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________